proof of (a-b)2